Web automata
نویسندگان
چکیده
منابع مشابه
Verification of Web Services with Timed Automata
In this paper we show how we can use formal methods for describing and analyzing the behavior of Web Services, and more specifically those including time restrictions. Then, our starting point are Web Services descriptions written in WSCI WSCDL (XML-based description languages). These descriptions are then translated into timed automata, and then, we use a well known tool that supports this for...
متن کاملWeb Usage Mining Using Distributed Learning Automata
One of the most important issues in web mining is how to find out similarities between web pages. In this paper we propose a method based on distributed learning automata which take advantage of usage data to find out web pages similarities. The idea of the proposed method is that if different users request a couple of pages consistently together, then these pages are likely to correspond to th...
متن کاملClustering Web Access Patterns Based on learning Automata
The interest of web users can be revealed by the visited web pages and time duration on these web pages during their surfing. In this paper a new method based on Learning Automata for clustering web access patterns is proposed. At the first step of the proposed algorithm, each web access pattern from web logs is transformed into a weight vector using the learning automata. In the second step a ...
متن کاملWeb Structure Mining using Learning Automata and Probabilistic Grammar
One of the data mining techniques on the web is web usage mining. The purpose of this mining, extracting useful information from the user interaction data that can be obtained when using the web. By extracting this information, we can determine the relationship between the web pages and then we can do operations such as clustering and ranking web pages. The purpose of this article is to determi...
متن کاملVerifying Web Services Composition Based on Interface Automata Using SPIN
Web services are a very appropriate communication mechanism to perform distributed business processes among several organizations. These processes should be reliable, because a failure in them can cause high economic losses. To provide a framework to compose lots of specialized services flexibly, BPEL4WS is proposed to describe Web services composition. But the language is lack of the support f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Control
سال: 1975
ISSN: 0019-9958
DOI: 10.1016/s0019-9958(75)90520-3